Deductive Composition of Astronomical Software from Subroutine Libraries
نویسندگان
چکیده
Automated deduction techniques are being used in a system called Amphion to derive, from graphical speci cations, programs composed from a subroutine library. The system has been applied to construct software for the planning and analysis of interplanetary missions. The library for that application is a collection of subroutines written in FORTRAN-77 at JPL to perform computations in solar-system kinematics. An application domain theory has been developed that describes A preliminary version of this appears in the proceedings of the Twelfth International Conference on Automated Deduction, Nancy, France, June 1994, pages 341-355. fstickel,[email protected] flowry, pressburger,[email protected]
منابع مشابه
RELAP5-3D Model for the KURSK 1 NPP
A RELAP5-3D model has been developed for the RBMK Kursk 1 NPP. The primary features of this model are the three-dimensional neutronics model of the reactor core and the user subroutine that generates the neutron cross-sections. This subroutine contains the same neutron cross-section libraries that are presently being used in the Russian STEPAN/KOBRA calculations. The implementation of the neutr...
متن کاملAutomating Software Reuse with Amphion
The construction of libraries of reusable software components is the standard software engineering solution for improving software development productivity and quality. By encapsulating usable functionality in software components (e.g. subroutines, object classes), and then reusing those components, software of greater functionality can be developed in less time, with some assurance that the ov...
متن کاملDXML: A High-performance Scientific Subroutine Library
Mathematical subroutine libraries for science and engineering applications are an important tool in high-performance computing. By identifying and optimizing frequently used, numerically intensive operations, these libraries help in reducing the cost of computation, enhancing portability, and improving productivity. The Digital eXtended Math Library is a set of public domain and Digital proprie...
متن کاملA Knowledge Sharing Approach to Software Interoperation
Getting programs to work together often necessitates extensive work on the part of the users of those programs or their programmers { to learn the characteristics of completed programs and to negotiate communication formats and protocols for programs under development. What's more, the resulting systems are usally very rigid { components often cannot be modi ed or replaced without subsequent ro...
متن کاملAdaptive Document Image Binarization with Application in Processing Astronomical Logbooks∗
Recently, the digitalization of the astronomical scientific heritage has been considered an important task that can facilitate much researches in astronomy. The creation of digital libraries and databases of astronomical photographic plates brings up the problem of digitalization astronomical logbooks , since the data contained in them is crucial for the usage of the plates . An optical charact...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994